When viewed as a programming language, Lean is a strict pure functional language with dependent types. A large part of learning to program with Lean ... ... <看更多>

Beyond Functional Programming : The Verse Programming Language (Simon Peyton Jones). Skills Matter. ... <看更多>

Here are 63 public repositories matching this topic... · louthy / language-ext · xgrommx / awesome-functional-programming · LuxLang / lux · thma / LtuPatternFactory. ... <看更多>

Functional programming means that the program is conceptualized as a evaluation of a function, rather than a control flow. The code is a description of ... ... <看更多>

Lisp: It's been around since forever. It seems to have most of what I like from Scheme. It has a big community. For what I [think I] know, it is ... ... <看更多>